mini-os: moved __pte to x86
authorThomas Leonard <talex5@gmail.com>
Thu, 26 Jun 2014 11:28:30 +0000 (12:28 +0100)
committerIan Campbell <ian.campbell@citrix.com>
Fri, 27 Jun 2014 13:13:20 +0000 (14:13 +0100)
commit6390247d9c065effe1ca3c121d10062037acc91f
tree9054b0cc386fd6e81c71a6699e28d267907a2f28
parentb757e8d41f7d61fff9560428e11a587796ebbc34
mini-os: moved __pte to x86

We don't need to define this on ARM. Suggested by Julien Grall.

Signed-off-by: Thomas Leonard <talex5@gmail.com>
Acked-by: Samuel Thibault <samuel.thibault@ens-lyon.org>
extras/mini-os/include/types.h
extras/mini-os/include/x86/x86_32/hypercall-x86_32.h
extras/mini-os/include/x86/x86_64/hypercall-x86_64.h